- 2 402 202 книги
- Поиск
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ... Computer Science and General Issues)
Автор: Andrea Corradini, Автор: Ugo MontanariКатегория: Компьютеры
Размер книги: 4.56 Mb
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes in Computer Science)
Автор: Till Mossakowski, Автор: Ugo Montanari, Автор: Magne Haveraaen
Размер книги: 4.46 Mb
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор: Pierpaolo Degano, Автор: Rocco de Nicola, Автор: José MeseguerКатегория: Computer Science, Computer Science
Размер книги: 24.22 Mb
Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Автор: Hans-Jörg Kreowski, Автор: Ugo Montanari, Автор: Fernando Orejas, Автор: Grzegorz Rozenberg, Автор: Gabriele Taentzer
Размер книги: 5.14 Mb
Automata, Languages and Programming, 27 conf., ICALP 2000
Автор: Ugo Montanari, Автор: Jose D.P. Rolim, Автор: Emo WelzlКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 7.15 Mb
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development
Автор: Hartmut Ehrig, Автор: Robert Kowalski, Автор: Giorgio Levi, Автор: Ugo MontanariКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 16.10 Mb
Principles and Practice of Constraint Programming, CP'95 1 conf., CP'95
Автор: Ugo Montanari, Автор: Francesca RossiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.16 Mb
CONCUR '96, Concurrency Theory, 7 conf
Автор: Ugo Montanari, Автор: Vladimiro SassoneКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.19 Mb
Formal Methods in Software and Systems Modeling
Автор: Hans-Jörg Kreowski, Автор: Ugo Montanari, Автор: Fernando Orejas, Автор: Grzegorz Rozenberg, Автор: Gabriele TaentzerКатегория: CsLn_
Размер книги: 4.30 Mb
Trustworthy Global Computing, 2 conf., TGC 2006
Автор: Ugo Montanari, Автор: Donald Sannella, Автор: Roberto BruniКатегория: CsLn_
Размер книги: 3.47 Mb
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Автор: Till Mossakowski, Автор: Ugo Montanari, Автор: Magne Haveraaen
Размер книги: 5.21 Mb
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Автор: Andrea Corradini, Автор: Hartmut Ehrig, Автор: Ugo Montanari, Автор: Leila Ribeiro, Автор: Grzegorz Rozenberg
Размер книги: 8.12 Mb